Member Formation Methods Evaluation for a Storm Surge Ensemble Forecast System in Taiwan

Forecast of storm surge by means of artificial neural network

This study describes the construction and verification of a model of sea level changes during a storm surge, applying artificial neural network (ANN) methodology in hydrological forecasting in a tideless sea where the variation of water level is only wind generated. Some neural networks were tested to create the forecast model. The results of ANN were compared with observed sea-level values, an...

Storm surge modelling for Bunbury

Storm surge scenarios for Hamburg

Abstract A scenario for future storm surge heights for the tide gauge of Hamburg St. Pauli is constructed on the basis of results from a regional model for Cuxhaven. Under the A2 emission scenario, an increase of the mean annual maximum water level of about 0.1724 m appears possible and plausible for the time horizon of 2030. In Cuxhaven, an increase of 0.14 may be expected in this scenario. In...

Final Report: Development of a Large Member Ensemble Forecast System for Heavy Rainfall using Evolutionary Programming (EP)

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods

This paper discusses the use of formal methods in the development of the control system for the Maeslant Kering. The Maeslant Kering is the movable dam which has to protect Rotterdam from floodings while, at (almost) the same time, not restricting ship traffic to the port of Rotterdam. The control system, called Bos, completely autonomously decides about closing and opening of the barrier and, ...